Qualitative and Quantitative Probabilistic Temporal Reasoning - for Industrial Applications
نویسنده
چکیده
Many real-world domains, such as industrial diagnosis, require an adequate representation that combines uncertainty and time. Research in this field involves the development of new knowledge representation and inference mechanisms to deal with uncertainty and time. Current temporal probabilistic models become too complex when used for real world applications. In this paper, we propose a model, Temporal Events Bayesian Networks (TEBN), based on a natural extension of a simple Bayesian network. TEBN tries to make a balance between expressiveness and computational efficiency. Based on a temporal node definition, causal-temporal dependencies are represented by qualitative and quantitative relations, using different time intervals within each variable (multiple granularity). Qualitative knowledge about temporal relations between variables is used to facilitate the acquisition of the quantitative parameters. The inference mechanism combines qualitative and quantitative reasoning. The proposed approach is applied to a thermal power plant through a detailed case study, with promising results.
منابع مشابه
Mixed Qualitative/Quantitative Dynamic Simulation of Processing Systems
In this article the methodology proposed by Li and Wang for mixed qualitative and quantitative modeling and simulation of temporal behavior of processing unit is reexamined and extended to more complex case. The main issue of their approach considers the multivariate statistics of principal component analysis (PCA), along with clustered fuzzy digraphs and reasoning. The PCA and fuz...
متن کاملQualitative and Quantitative Reasoning in Hybrid Probabilistic Logic Programs
Reasoning with qualitative and quantitative uncertainty is required in some real-world applications [6]. However, current extensions to logic programming with uncertainty support representing and reasoning with either qualitative or quantitative uncertainty. In this paper we extend the language of Hybrid Probabilistic Logic programs [28, 25], originally introduced for reasoning with quantitativ...
متن کاملTowards Temporal Reasoning Using Qualitative Probabilities
Previously proposed qualitative probabilities do not satisfy the requirements of temporal reasoning, and a new abstraction is proposed here that represents probability changes over time using four values: increasing, decreasing, constant, and unknown. The qualitative temporal probability presented satisfies the axioms of probability by obeying a set of probabilistic constraints. Temporal constr...
متن کاملSparQ - A Spatial Reasoning Toolbox
SparQ is a toolbox for qualitative spatial reasoning. Interpreting reasoning in a broad sense, SparQ covers mapping information from quantitative to qualitative, applying constraint reasoning to qualitative information, reasoning about calculi, and mapping qualitative information back to the quantitative domain. The toolbox is designed for extensibility and released under the GNU GPL public lic...
متن کاملDeductive Planning with Temporal Constraints
Temporal Action Logic is a well established logical formalism for reasoning about action and change using an explicit time representation that makes it suitable for applications that involve complex temporal reasoning. We take advantage of constraint satisfaction technology to facilitate such reasoning through temporal constraint networks. Extensions are introduced that make generation of actio...
متن کامل